Let G and H be finite cyclic groups. Then is cyclic if and only if |G| and |H| are relatively prime.